-
1 primitive formula
Большой англо-русский и русско-английский словарь > primitive formula
-
2 primitive formula
Математика: примитивная формула -
3 primitive formula
мат. -
4 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
5 примитивная формула
Большой англо-русский и русско-английский словарь > примитивная формула
-
6 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
7 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
8 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
9 quadratic
1) квадратический
2) квадратичный
3) квадратный
4) <math.> квадратное уравнение
– affected quadratic
– piecewise quadratic
– pure quadratic
– quadratic curve
– quadratic equation
– quadratic estimate
– quadratic form
– quadratic formula
– quadratic fractional
– quadratic mean
– quadratic partitions
– quadratic programming
– quadratic residue
– quadratic surd
– reduced quadratic
primitive quadratic form — чисто коренная квадратическая форма
quadratic reciprocity law — <math.> закон взаимности квадратичных вычетов
-
10 derivation
2) матем. дифференцирование, взятие производной3) гидр. деривация4) электр. ответвление5) словотворчество; словообразование• -
11 fundamental
1. n основное правило; принципa fundamental of good behaviour is consideration for other people — основным правилом воспитанного человека является учёт интересов других людей
2. n основы, начатки3. n муз. основной тон4. a основной, коренной; существенныйfundamental concept — основная концепция ; основное понятие
5. a непременный, непреложный; совершенно необходимый6. a фундаментальный, теоретический7. a спец. основной, фундаментальныйfundamental frequency — основная частота, собственная частота
8. a данный от природы; врождённыйСинонимический ряд:1. elemental (adj.) basic; elemental; elementary; primitive; substratal; ultimate2. essential (adj.) axiomatic; basal; bottom; cardinal; central; chief; constitutional; constitutive; crucial; essential; foundational; integral; key; primary; radical; underlying; vital3. first (adj.) first; original; rudimentary4. base (noun) base; basis; cornerstone; foundation; root5. condition (noun) condition; fundamental; requirement; requisite6. essential (noun) axiom; basic; element; essential; law; part and parcel; principium; principle; rudiment; theorem; universalАнтонимический ряд:auxiliary; common; dispensable; last; nonessential; secondary; subordinate; superficial; superfluous; unimportant -
12 original
1. n оригинал, подлинник; подлинное произведениеoriginal shares — акции первого выпуска; подлинные акции
2. n язык оригинала; язык, на котором создано произведение3. n первоисточник4. n прототип, оригиналoriginal tracing — оригинал, выполненный на кальке
5. n незаурядный, необыкновенный человекhe is supremely original, it is quite difficult to phrase him — он чрезвычайно оригинальный человек, его очень трудно охарактеризовать
6. n чудак, оригиналthe man is a real original — этот человек — настоящий оригинал
7. n почтовая марка из первого издания8. n редк. происхождение; начало9. n редк. автор, создатель10. n редк. первые жители или поселенцы11. a первый, первоначальный; исконный12. a оригинальный, подлинный13. a оригинальный, незаимствованный14. a новый, свежий15. a творческий, незаурядный, самобытный16. a редк. врождённый; наследственный17. a странный, своеобразный; чудаковатыйan original man — странный человек; чудак, оригинал
Синонимический ряд:1. basic (adj.) basal; basic; bottom; fundamental; radical; underlying2. first (adj.) aboriginal; earliest; elementary; first; inceptive; initial; maiden; pioneer; primary; prime; primeval; primitive; rudimental; rudimentary; underivative; underived3. good (adj.) authentic; genuine; good; real; true; undoubted; unquestionable4. new (adj.) causal; creative; demiurgic; deviceful; fresh; ingenious; innovational; innovative; innovatory; inventive; new; newfangled; novel; originative; productive; unfamiliar; unique; unprecedented5. eccentric (noun) case; character; eccentric; oddball; oddity; quiz; zombie6. innovator (noun) innovator; introducer; inventor; originator7. model (noun) archetype; forerunner; master; model; pattern; precursor; protoplast; prototypeАнтонимический ряд:conventional; dependent; following; imitation; later; modern; old; old-fashioned; reproduction; secondary; subsequent; terminal -
13 recursion
1. n мат. рекуррентная формула, рекуррентное соотношение2. n лог. рекурсия -
14 recursion
1. рекурсия2. рекуррентныйThe English-Russian dictionary general scientific > recursion
См. также в других словарях:
Primitive root modulo n — In modular arithmetic, a branch of number theory, a primitive root modulo n is any number g with the property that any number coprime to n is congruent to a power of g (mod n ). That is, if g is a primitive root (mod n ) and gcd( a , n ) = 1,… … Wikipedia
Primitive equations — The primitive equations are a set of nonlinear differential equations that are used to approximate global atmospheric flow and are used in most atmospheric models. They consist of three main sets of equations: # Conservation of momentum :… … Wikipedia
Primitive (album) — Infobox Album | Name = Primitive Type = Album Artist = Soulfly Released = September 26, 2000 Recorded = The Saltmine Studio Oasis in Mesa, Arizona Genre = Alternative metal, nu metal Length = 52:16 Label = Roadrunner Producer = Toby Wright Max… … Wikipedia
Baker-Campbell-Hausdorff formula — In mathematics, the Baker Campbell Hausdorff formula is the solution to:Z = log(e^X e^Y),for non commuting X and Y . It is named for Henry Frederick Baker, John Edward Campbell, and Felix Hausdorff. It was first noted in print by Campbell,… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Smith–Minkowski–Siegel mass formula — In mathematics, the Smith–Minkowski–Siegel mass formula (or Minkowski–Siegel mass formula) is a formula for the sum of the weights of the lattices (quadratic forms) in a genus, weighted by the reciprocals of the orders of their automorphism… … Wikipedia
Pythagorean triple — A Pythagorean triple consists of three positive integers a , b , and c , such that a 2 + b 2 = c 2. Such a triple is commonly written ( a , b , c ), and a well known example is (3, 4, 5). If ( a , b , c ) is a Pythagorean triple, then so is ( ka … Wikipedia
Root of unity — The 5th roots of unity in the complex plane In mathematics, a root of unity, or de Moivre number, is any complex number that equals 1 when raised to some integer power n. Roots of unity are used in many branches of mathematics, and are especially … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Perron–Frobenius theorem — In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding… … Wikipedia
